Thanks to this Minecraft Forum post for explaining how to change the end portal color:
https://www.minecraftforum.net/forums/mapping-and-modding-java-edition/resource-packs/resource-pack-help/2897114-how-can-i-edit-the-end-portal-texture-not-the